Search Results
Joel David Hamkins: Continuous models of arithmetic
Joel David Hamkins—Computable quotient presentations of models of arithmetic and set theory
Joel David Hamkins: Pointwise definable / Leibnizian extensions of models of arithmetic / set theory
Joel David Hamkins: Modal model theory as mathematical potentialism
Joel David Hamkins: The Math Tea argument—must there be numbers we cannot describe or define?
【JAPS2022】Special Lecture: "The Ontology of Mathematics" (Joel David Hamkins)
Joel David Hamkins: Set-theoretic forcing as a computational process
Joel David Hamkins : The hierarchy of second-order set theories between GBC and KM and beyond
Joel David Hamkins: Categorical Cardinals
Joel David Hamkins: Forcing as a computational process
Infinite Sets and Foundations (Joel David Hamkins) | Ep. 17
Joel David Hamkins: Bi-interpretation of weak set theories